18.94/19.75	unsat
