27.64/30.50	unsat
