5.67/8.18	unsat
