7.89/7.95	unsat
