19.35/19.45	unsat
