22.77/32.69	unsat
