0.58/0.65	unsat
