6.46/8.36	unsat
