28.81/31.99	unsat
