0.84/0.96	unsat
