27.32/30.71	unsat
