0.84/0.86	unsat
