13.97/16.10	unsat
