0.19/0.58	unsat
