9.78/10.04	unsat
