28.13/28.61	unsat
