14.55/17.50	unsat
