0.78/1.82	unsat
