7.77/7.96	unsat
