4.79/6.32	unsat
