4.18/6.32	unsat
