18.74/19.65	unsat
