5.17/7.85	unsat
