0.69/1.94	unsat
