3.08/4.74	unsat
