1.69/3.11	unsat
