6.69/10.36	unsat
