4.10/4.86	unsat
