14.36/14.50	unsat
