5.47/5.85	unsat
