27.32/28.44	unsat
