5.69/6.11	unsat
