28.24/28.94	unsat
