0.89/1.84	unsat
