28.60/31.00	unsat
