0.19/1.07	unsat
