5.06/7.85	unsat
