0.68/1.22	unsat
