27.84/28.41	unsat
