0.19/1.83	unsat
