5.24/7.69	unsat
