9.97/13.18	unsat
