28.81/31.64	unsat
