6.66/10.32	unsat
