17.77/19.50	unsat
