7.77/7.89	unsat
