19.19/19.65	unsat
