13.97/14.02	unsat
