28.50/31.74	unsat
