19.15/19.28	unsat
