4.96/6.32	unsat
