6.36/8.11	unsat
