27.34/27.51	unsat
