0.69/1.64	unsat
