14.34/14.50	unsat
