16.44/19.65	unsat
