27.43/30.28	unsat
