18.85/19.09	unsat
