6.07/8.11	unsat
