28.06/28.28	unsat
