5.69/7.11	unsat
