19.05/19.15	unsat
