1.69/1.86	unsat
