27.43/27.64	unsat
