1.69/2.86	unsat
