7.69/8.11	unsat
