8.24/8.36	unsat
