7.89/7.99	unsat
