0.81/1.07	unsat
