0.19/0.35	unsat
