28.63/31.08	unsat
