0.29/1.84	unsat
