7.78/7.90	unsat
