13.97/16.87	unsat
