4.62/4.86	unsat
