27.41/30.58	unsat
