5.13/7.69	unsat
