5.85/7.89	unsat
