19.53/20.42	unsat
