28.64/29.28	unsat
