14.81/19.50	unsat
