6.66/8.36	unsat
