4.94/5.74	unsat
