13.97/14.50	unsat
