13.98/14.04	unsat
