13.98/14.07	unsat
